don't omit TODO.xml

diff --git a/TODO.xml b/TODO.xml
index 6fee7f0f87ca5121fe2c47fba49531af399a4bf1..00181138ad2a4f3f90b7dabb9b1c52fb77cef72e 100644 (file)
--- a/TODO.xml
+++ b/TODO.xml
@@ -4,7 +4,7 @@
      version updated. If you modify this file, you should check for
      parse errors by running:
 
-     $ docs/make-todo > /dev/null
+     $ docs/make-todo TODO.xml > /dev/null
 
      before committing, or you may screw up the online version --> 
 <todo logourl="gtk-logo-rgb.gif">